クラスP^PP
$ P^{PP}
クラスPH
を包含する
クラスPP
を
神託(オラクル)
として持つ
神託機械
で多項式時間で解ける問題のクラス
https://ja.wikipedia.org/wiki/PP_(計算複雑性理論)